Nuprl Definition : es-state-when-without
11,40
postcript
pdf
state when
e
\\
x
(
y
) == if
y
=
x
then
else
y
when
e
fi
latex
clarification:
es-state-when-without(
es
;
e
;
x
)(
y
) == if
y
=
x
then
else es-when(
es
;
y
;
e
) fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
a
=
b
,
,
x
when
e
FDL editor aliases
es-state-when-without
origin
else y when e fi
else es-when(es; y; e) fi else y when e fi
else es-when(es; y; e) fi 
x.A(x)